- 半序集
- partial: adj. 1.一部分的，局部的，不完全的。 2.不公平的 ...
- order: n. 1.次序，順序；整齊；(社會)秩序，治安；狀況，常 ...
- set: vt. (set; setting) 1.放；擱；貼；靠 ...
- ordered set: 有序集合
- angeordnete menge ordered set: 有序集
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
partial ordered set中文什么意思
- 半序集
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
例句與用法
- 更多例句： 下一頁
- The mp - filters and fuzzy filters of a implication algebra on a partial ordered set are studied with the condition given in chapter 2 which implicative operator should satisfy
利用上述得到的關(guān)于蘊(yùn)涵代數(shù)中蘊(yùn)涵算子的條件，研究偏序集上具有條件( c )的蘊(yùn)涵代數(shù)的mp濾子及fuzzy濾子。 - The relations between heyting algebra and implication algebra with some conditions on a partial ordered set are discussed . then some conditions when a implication algebra is a boolean algebra are given . 3
系統(tǒng)地研究了偏序集上蘊(yùn)涵代數(shù)與heyting代數(shù)之間的關(guān)系，得到了蘊(yùn)涵代數(shù)中蘊(yùn)涵算子的一個(gè)較好的條件，并給出了偏序集上蘊(yùn)涵代數(shù)成為布爾代數(shù)的一些條件。 - Fuzzy logic is studied with algebraic tools in this paper . a kind of algebraic abstract of fuzzy logic , implication algebra on a partial ordered set , is given . the relations between implication algebra and other algebraic structures , such as mv - algebra and heyting algebra etc . , and the filter and the structure of implication algebra on a partial ordered set are studied
本文的目的是使用代數(shù)工具對模糊邏輯進(jìn)行研究，給出模糊邏輯的一類代數(shù)抽象，即偏序集上的蘊(yùn)涵代數(shù)，研究偏序集上蘊(yùn)涵代數(shù)與其它代數(shù)結(jié)構(gòu)，如mv -代數(shù)， heyting代數(shù)之間的關(guān)系，以及偏序集上蘊(yùn)涵代數(shù)的濾子與其結(jié)構(gòu)等。 - The representation theories of mp - filter which is created by an non - empty set of a implication algebra on a partial ordered set with condition ( c ) are obtained at first . and it ' s proved that the set which contains all mp - filters of a implication algebra x , denoted by mf ( x ) = { f x f is a filter of x } , is a distributive lattice and a complete lattice also in the view of the concept of mp - filter . then the fuzzy filter of a implication algebra is discussed , and the relations between mp - filter and fuzzy filter are obtained
借助于mp -濾子的概念，得到了偏序集上具有條件( c )的蘊(yùn)涵代數(shù)中由非空集合所生成mp濾子的表示定理，證明了由其上所有mp -濾子組成的集合mf ( x )是一個(gè)完備的分配格；得到了蘊(yùn)涵代數(shù)中fuzzy濾子與mp濾子的關(guān)系，給出了fuzzy濾子成為fuzzy素濾子的若干刻畫；并利用mp -濾子和fuzzy濾子，刻畫了一類偏序集上蘊(yùn)涵代數(shù)的結(jié)構(gòu)。 - The primary studies in this paper are the following : ( 1 ) we define a generalized alexandroff topology on an l - fuzzy quasi ordered set which is a generalization of the alexandroff topology on an ordinary quasi ordered set , prove that the generalized alexandroff topology on an l - quasi ordered set ( x , e ) can be obtained by the join of a family of the alexandroff topologies on it , a topology on any topological space can be represented as a generalized alexandroff topology on some l - quasi ordered set , and the generalized alexandroff topologies on l - fuzzy quasi ordered sets are generalizations of the generalized alexandroff topologies on generalized ultrametric spaces which are defined by j . j . m . m . rutten etc . ( 2 ) by introducing the concepts of the join of l - fuzzy set on an l - fuzzy partial ordered set with respect to the l - fuzzy partial order and l - fuzzy directed set on an l - fuzzy quasi ordered set ( with respect to the l - fuzzy quasi order ) , we define l - fuzzy directed - complete l - fuzzy partial ordered set ( or briefly , l - fuzzy dcpo or l - fuzzy domain ) and l - fuzzy scott continuous mapping , prove that they are respectively generalizations of ordinary dcpo and scott continuous mapping , when l is a completely distributive lattice with order - reversing involution , the category l - fdom of l - fuzzy domains and l - fuzzy scott continuous mappings is isomorphic to a special kind of the category of v - domains and scott continuous mappings , that is , the category l - dcqum of directed - complete l - quasi ultrametric spaces and scott continuous mappings , and when l is a completely distributive lattice in which 1 is a molecule , l - fuzzy domains and l - fuzzy scott continuous mappings are consistent to directed lim inf complete categories and lim inf co ntinuous mappings in [ 59 ]
本文主要工作是： ( 1 )在l - fuzzy擬序集上定義廣義alexandroff拓?fù)?，證明了它是通常擬序集上alexandroff拓?fù)涞耐茝V，一個(gè)l - fuzzy擬序集( x ， e )上的廣義alexandroff拓?fù)淇梢杂善渖弦蛔錫lexandroff拓?fù)淙〔⒌玫?，任意一個(gè)拓?fù)淇臻g的拓?fù)涠伎梢员硎緸槟硞€(gè)l - fuzzy擬序集上的廣義alexandroff拓?fù)?，以及l(fā) - fuzzy擬序集上的廣義alexandroff拓?fù)涫莏 . j . m . m . rutten等定義的廣義超度量空間上廣義alexandroff拓?fù)涞耐茝V。 ( 2 )通過引入l - fuzzy偏序集上的l - fuzzy集關(guān)于l - fuzzy偏序的并以及l(fā) - fuzzy擬序集上(關(guān)于l - fuzzy擬序)的l - fuzzy定向集等概念，定義了l - fuzzy定向完備的l - fuzzy偏序集(簡稱l - fuzzydcpo ，又叫l(wèi) - fuzzydomain )和l - fuzzyscott連續(xù)映射，證明了它們分別是通常的dcpo和scott連續(xù)映射的推廣，當(dāng)l是帶有逆序?qū)蠈?yīng)的完全分配格時(shí)，以l - fuzzydomain為對象， l - fuzzyscott連續(xù)映射為態(tài)射的范疇l - fdom同構(gòu)于一類特殊的v - domain范疇，即以定向完備的l -值擬超度量空間為對象， scott連續(xù)映射為態(tài)射的范疇l - dcqum ，以及當(dāng)l是1為分子的完全分配格時(shí)， l - fuzzydomain和l - fuzzyscott連續(xù)映射一致于k . wagner在[ 59 ]中定義的定向liminf完備的-范疇和liminf連續(xù)映射。